SMT solver
SMT
のsolver
一階述語論理
式を入力に取り、その論理式が
充足可能
かどうかを判定する
https://www.slideshare.net/sakai/satsmt
http://rkx1209.hatenablog.com/entry/2017/12/17/175439
実用
AWS Zelkova
AWS Tiros